formal check

形式检查